nobase_include_HEADERS = pat/pat.h \
	pat/ADT/Color.h \
	pat/Listeners/PrettyResultPrinter.h \
	pat/Listeners/CSVResultPrinter.h \
	pat/Support/IOSFwd.h \
	pat/Support/ManagedStatic.h \
	pat/Support/OStrStream.h \
	pat/Support/OStrStream.tcc \
	pat/Support/Path.h \
	pat/Support/Timer.h
